%******************************************
% LASSY TR front page begins
%******************************************

\begin{titlepage}
	\thispagestyle{empty}
	\begin{center}
		\vspace{-4cm}
		\begin{tabular}[\textwidth]{l p{8cm} r}
			\includegraphics[scale=0.54]{fig/logo}
			&&
			\includegraphics[scale=0.36]{fig/lassy}\\
			\hline
		\end{tabular}
		\vspace{2cm}
		\\
		\begin{Large}				
			\begin{center}
				\textbf{Modeling Security Patterns in AADL}
			\end{center}
		\end{Large}
		
		\vspace{2cm}
		\begin{tabular}{c}
			Iram Rubab\\
			Laboratory for Advanced Software Systems (\textsc{Lassy})\\
			University of Luxembourg\\
			6, rue R. Coudenhove-Kalergi\\
			L-1359 Luxembourg\\ \\
			\\ \\ \\ \\
			TR-LASSY-12-XX\\
			\end{tabular}
			\date{August 2012}
			
			\vspace{5cm}
			\begin{center}
				\begin{minipage}{0.9\textwidth}
				
%				\newpage
%				\thispagestyle{empty}
%				\mbox{}
%				\newpage
				\begin{center}	\textbf{Abstract}\end{center}				 
					
					The quality of software system is largely influenced by software architecture.Quality attributes in software system are evolving and changing with requirements. Security is an emergent evolving quality of the system.
					
					The security of software system is mostly embedded at the implementation level. This makes it dependent on the implementation logic. The addition of security at the implementation level also makes the implementation less conforming with the architecture of the system. The aim of this work is to provide a way to model security at an higher abstraction level. In order to embed security at architectural level, one needs to be a security expert as well a modeling expert. To solve this problem we use security patterns which are defined solutions of known security problems. 
					
			We provide a way to model security patterns with software architecture. The approach is explained our idea using Architecture Analysis and Design Language (AADL) language. We use a Barbados Crisis Management System to elaborate the work.
					
					
					
					
%					Test modeling is an important concept in Model-based Testing (MBT), which can be used to model the test requirements derived from SA's. The use of a test modeling language has its benefits like platform independence and . In order to design a Test Model for \textsc{SA}, we need a modeling language that is expressive enough to model at multiple abstraction levels and provides well-defined syntax and semantics. In this paper, we solve this problem by designing a UML Sequence Diagram based Test Model for \textsc{SA}s. The use of Sequence Diagram for Test Modeling is the initial step towards linking \textsc{MBT} and \textsc{SA} based testing approaches. We utilize Test Model to extract Abstract Test Cases, which is achieved by control flow and partial data flow analysis. The proposed work is illustrated with a running example of Bank Application.		
					
\end{minipage}
\end{center}

\end{center}
\end{titlepage}

%\renewcommand{\maketitle}{
%
%\begin{center}
%\vspace{-4cm}
%\begin{tabular}{l p{3cm} r}
%\includegraphics[scale=0.54]{img/logo}
%& &
%\includegraphics[scale=0.36]{img/lassy}\\\\
%\hline
%\end{tabular}
%\vspace{2cm}
%\\
%{\Large
%\begin{tabular}{c}
%\begin{tabular}{|c|}
%\hline
%\begin{center}
%	\textbf{A Formal Semantics of a Subset of Kermeta} \\
%	\end{center}
%\hline
%\end{tabular}
%}
%\vspace{2cm}
%
%
%******************************************
%\begin{tabular}{c}
%Moussa Amrani\\
%Laboratory for Advanced Software Systems (\textsc{Lassy})\\
%University of Luxembourg\\
%6, rue R. Coudenhove-Kalergi\\
%L-1359 Luxembourg\\ \\
%\\ \\ \\ \\
%TR-LASSY-11-XX\\
%\end{tabular}
%
%
%\date{April 2011}
%\end{center}
%
%\thispagestyle{empty}
%}

%*******************************************
% LASSY TR front page ends
%*******************************************
